Abstract machine - PDFSEARCH.IO - Document Search Engine

Abstract machine
Results: 823

#	Item
391	SpeakUp: remote unsupervised voting Stefan Popoveniuc KT Consulting Abstract. We present SpeakUp, a novel way to cast a ballot remotely, Add to Reading List Source URL: popoveniuc.com Language: English - Date: 2010-04-23 21:56:13 Accountability Electronic voting CAPTCHA End-to-end auditable voting systems Ballot Postal voting Voting machine Voter turnout Vote counting system Elections Politics Government
392	Visuospatial Skill Learning for Object Reconfiguration Tasks Seyed Reza Ahmadzadeh, Petar Kormushev, Darwin G. Caldwell Abstract— We present a novel robot learning approach based on visual perception that allows a robo Add to Reading List Source URL: kormushev.com Language: English - Date: 2013-09-20 13:48:59 Vision Learning Pose Robot control Robotics Programming by demonstration Object recognition Machine learning Humanoid robot Computer vision Artificial intelligence Education
393	Verifying the ARM Block Data Transfer Instructions Anthony Fox Computer Laboratory, University of Cambridge Abstract The hol-4 proof system has been used to formally verify the correctness of the ARM6 micro-architecture. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-05-10 09:42:53 Machine code Assembly languages Central processing unit ARM architecture Addressing mode Processor register NOP DLX Computer architecture Computing Instruction set architectures
394	Bipedal Walking Energy Minimization by Reinforcement Learning with Evolving Policy Parameterization Petar Kormushev, Barkan Ugurlu, Sylvain Calinon, Nikolaos G. Tsagarakis, Darwin G. Caldwell Abstract— We present a lea Add to Reading List Source URL: kormushev.com Language: English - Date: 2012-06-26 14:03:00 Robotics Machine learning Spline Robot learning Artificial intelligence Mobile robot Learning Computational statistics Humanoid robot Interpolation Reinforcement learning
395	PW&SS Oct 14.qxp_Layout 1 Add to Reading List Source URL: arrow.delcam.com Language: English - Date: 2014-11-20 05:13:06 Linear algebra Machining Machine tool Machines Tools Nesting Euclidean vector Vector space Numerical control Algebra Mathematics Abstract algebra
396	Learning User Profile from Traces Ugo Galassi, Attilio Giordana and Dino Mendola Dipartimento di Informatica, Universit`a del Piemonte Orientale Spalto Marengo 33, Alessandria, Italy Abstract This paper presents a method Add to Reading List Source URL: www.ugogalassi.net Language: English - Date: 2005-09-14 02:53:00 Probability and statistics Machine learning Bioinformatics Computational linguistics Hidden Markov model Pattern recognition Speech recognition Bayesian network Forward–backward algorithm Statistics Markov models Hierarchical hidden Markov model
397	NII Lectures: A Model Of Parallelism To Guide Thinking Lawrence Snyder www.cs.washington.edu/homes/snyder 1 October 2008 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:57 Models of computation Programming paradigms Algorithm Mathematical logic Theoretical computer science Programming language Abstract machine C Abstraction Computing Software engineering Computer programming
398	Incremental Construction of Structured Hidden Markov Models Hidden Markov Model, Sequence Analysis, Data Mining Abstract This paper presents an algorithm for inferring a Structured Hidden Markov Model (S-HMM) from Add to Reading List Source URL: www.ugogalassi.net Language: English - Date: 2006-06-29 20:22:04 Bioinformatics Probability and statistics Error detection and correction Dynamic programming Hidden Markov model Hierarchical hidden Markov model Markov chain Speech recognition Viterbi algorithm Statistics Markov models Machine learning
399	Neighborhood-Based Local Sensitivity Paul N. Bennett Microsoft Research, One Microsoft Way, Redmond WA 98052, USA Abstract. We introduce a nonparametric model for sensitivity estimation whic Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-07-02 15:40:27 K-nearest neighbor algorithm Support vector machine Cross-validation Binary classification Statistics Machine learning Statistical classification
400	Basic Vector Space Search Engine Theory LA 2600 – January 2, [removed]presented by Vidiot Overview: A Vector Space Search Engine uses very simple techniques from matrix algebra to compare documents based on word frequenc Add to Reading List Source URL: la2600.org Language: English - Date: 2005-03-31 23:37:49 Science Natural language processing Abstract algebra Linear algebra Machine learning Latent semantic analysis Latent semantic indexing Search engine indexing Euclidean vector Information science Algebra Information retrieval

UPDATE